関数環論と位相空間論：ゼロ集合から超実数の構成と、実・複素関数環の差異

本記事では、位相空間 $X$ 上の連続関数環から出発し、関数が決定する「ゼロ集合」を用いて位相空間を再構成する理論から、無限大を厳密に扱う「超実数 (hyperreal number)」が非標準解析 (nonstandard analysis) 的に誕生する極限の世界までを体系的かつ厳密に解説します。

また、「関数の値域が実数である場合と複素数である場合の違い」について記法を厳密に区別した上で詳細に論じ、完全正則空間において正規性が欠如した場合に「Z超フィルター」と「閉超フィルター」の対応がどのように崩れるのかの証明や、実数値関数環から超実数体が構成される過程を、自己完結 (self-contained) に展開します。

1. 位相空間の分離公理：正則・完全正則・正規

関数環と位相空間の関係を論じる上で、位相空間が持つ「分離公理（点を閉集合や開集合でどれだけ分離できるか）」の強弱が決定的な役割を果たします。本論に入る前に、主要な分離公理の定義を明確にします。（以下、各空間は $T_1$ 公理、すなわち任意の1点が閉集合であることを満たすとします。したがって、本記事における完全正則空間は自動的に Hausdorff 空間となります。）

これらの空間には 「正規空間 $\implies$ 完全正則空間 $\implies$ 正則空間」 という強弱の包含関係があります。このうち、「正規空間ならば完全正則空間になる」という事実は、次節で証明する Urysohn の補題から直接導かれます。

2. 正規空間における基本定理：Urysohn の補題と Tietze の拡張定理

正規空間上で連続関数が豊富に存在することを保証する、位相空間論における最も重要な2つの定理を証明します。

証明

$D$ を区間 $[0, 1]$ 内の2進有理数全体の集合、すなわち $D = \{ \frac{k}{2^n} \mid n \ge 1, 0 \le k \le 2^n \}$ とする。
各 $r \in D$ に対して、以下の条件を満たす開集合 $U_r$ を帰納的に構成する：
条件：$r \lt s$ ならば $\overline{U_r} \subset U_s$。

まず、$r=1$ に対し $U_1 = X \smallsetminus B$ とおく。$A \cap B = \varnothing$ より $A \subset U_1$ である。正規性の定義（言い換えると、閉集合 $A$ とそれを含む開集合 $U_1$ があるとき、中間に閉包を挟む開集合をとれる性質）から、ある開集合 $U_0$ が存在して $A \subset U_0 \subset \overline{U_0} \subset U_1$ とできる。
次に $n$ に関する帰納法で $U_r$ を定める。$n=1$ のとき、$r = 1/2$ である。$\overline{U_0} \subset U_1$（$\overline{U_0}$ は閉集合、$U_1$ は開集合）より、正規性を用いて開集合 $U_{1/2}$ をとり、$\overline{U_0} \subset U_{1/2} \subset \overline{U_{1/2}} \subset U_1$ とできる。
一般に分母が $2^n$ までの $r$ に対して構成できたとし、分母が $2^{n+1}$ の $r$ を考える。この $r$ は $r = \frac{2k+1}{2^{n+1}}$ の形であり、前段階で構成済みの $s_1 = \frac{k}{2^n}$ と $s_2 = \frac{k+1}{2^n}$ のちょうど中間に位置する。帰納法の仮定より $\overline{U_{s_1}} \subset U_{s_2}$ だから、再び正規性を用いて開集合 $U_r$ をとり、$\overline{U_{s_1}} \subset U_r \subset \overline{U_r} \subset U_{s_2}$ とできる。
この操作により、すべての $r \in D$ に対して条件を満たす $U_r$ が構成された。さらに、$r \lt 0$ に対しては $U_r = \varnothing$、$r \gt 1$ に対しては $U_r = X$ と定めておく。

関数 $f: X \to [0, 1]$ を次のように定義する： $$f(x) = \inf \{ r \in \mathbb{Q} \mid x \in U_r \}$$ $x \in A$ ならば $x \in U_0$ より $f(x) \le 0$、ゆえに $f(x) = 0$。$x \in B$ ならば $x \notin U_1$ だからすべての $r \le 1$ について $x \notin U_r$、ゆえに $f(x) = 1$ である。
最後に $f$ が連続であることを示す。
$f(x) \lt a$ となるのは、ある $r \lt a$ が存在して $x \in U_r$ となるとき、またそのときに限る。したがって $f^{-1}([0, a)) = \bigcup_{r \lt a} U_r$ であり、これは開集合の和集合であるから開集合である。
また、$f(x) \gt b$ となるのは、ある $s \gt b$ が存在して $x \notin U_s$ となるときである。このとき、条件 $r \lt s$ なる $r \in D$（$b \lt r \lt s$ を満たすもの）をとれば $x \notin \overline{U_r}$。逆に $x \notin \overline{U_r}$ ならば $f(x) \ge r \gt b$ となるため、$f^{-1}((b, 1]) = \bigcup_{r \gt b} (X \smallsetminus \overline{U_r})$ であり、これも開集合である。
以上より、$f$ は連続関数である。

証明

Urysohn の補題を用いて、関数列 $\{g_n\}_{n=1}^\infty$ を構成する。
まず、$A_1 = \{ x \in F \mid f(x) \le -1/3 \}$、$B_1 = \{ x \in F \mid f(x) \ge 1/3 \}$ とおく。これらは $F$ 内の閉集合であり、$F$ は $X$ の閉集合であるから、$A_1, B_1$ は $X$ の閉集合である。また $A_1 \cap B_1 = \varnothing$ である。
Urysohn の補題より、連続関数 $g_1: X \to [-1/3, 1/3]$ が存在し、$g_1(A_1) \subset \{-1/3\}$ かつ $g_1(B_1) \subset \{1/3\}$ とできる。
このとき、$F$ 上で $|f(x) - g_1(x)| \le 2/3$ が成り立つ。
（$x \in A_1$ のとき $-1 \le f(x) \le -1/3, g_1(x) = -1/3$。$x \in B_1$ のとき $1/3 \le f(x) \le 1, g_1(x) = 1/3$。それ以外のとき $-1/3 \lt f(x) \lt 1/3, -1/3 \le g_1(x) \le 1/3$ となり、いずれの場合も差の絶対値は $2/3$ 以下である。）

次に、関数 $f_1 = f - g_1|_F$ を考える。$f_1: F \to [-2/3, 2/3]$ である。これに対して同様に、$A_2 = \{ x \in F \mid f_1(x) \le -\frac{1}{3}(\frac{2}{3}) \}$、$B_2 = \{ x \in F \mid f_1(x) \ge \frac{1}{3}(\frac{2}{3}) \}$ とおくと、Urysohn の補題より連続関数 $g_2: X \to [-\frac{1}{3}(\frac{2}{3}), \frac{1}{3}(\frac{2}{3})]$ であって、$F$ 上で $|f(x) - g_1(x) - g_2(x)| = |f_1(x) - g_2(x)| \le (\frac{2}{3})^2$ となるものが構成できる。

これを帰納的に繰り返し、各 $n$ について連続関数 $g_n: X \to \left[-\frac{1}{3}\left(\frac{2}{3}\right)^{n-1}, \frac{1}{3}\left(\frac{2}{3}\right)^{n-1}\right]$ であって、 $$ \left| f(x) - \sum_{k=1}^n g_k(x) \right| \le \left(\frac{2}{3}\right)^n \quad (x \in F) $$ を満たすものを得る。
級数 $\tilde{f}(x) = \sum_{n=1}^\infty g_n(x)$ を考える。$|g_n(x)| \le \frac{1}{3}\left(\frac{2}{3}\right)^{n-1}$ であり、右辺の和は等比級数として $1$ に収束するため、Weierstrass の M判定法によりこの級数は $X$ 上で一様絶対収束する。
連続関数の列の一様収束極限であるから、$\tilde{f}$ は $X$ 上の連続関数である。また $|\tilde{f}(x)| \le \sum |g_n(x)| \le 1$ より、値域は $[-1, 1]$ に含まれる。
さらに $x \in F$ に対しては、上記の評価より $n \to \infty$ とすることで $\tilde{f}(x) = f(x)$ が得られる。これで拡張定理が示された。

3. ゼロ集合と位相空間の再構成

関数がある点で値 $0$ をとるという解析的な事実は、空間の位相的構造を規定する強力な道具となります。まず、関数環の記法を厳密に定めた上でゼロ集合を定義します。

ここで重要なのは、ゼロ集合族 $Z(X)$ を考える上では、実数値関数と複素数値関数のどちらを出発点としても結果は全く同じになるということです。なぜなら、任意の複素数値関数 $f \in C(X)$ は実部と虚部を用いて $f = g + ih$ （$g, h \in C(X, \mathbb{R})$）と分解でき、さらに実数値連続関数 $k(x) = |f(x)| = \sqrt{g(x)^2 + h(x)^2} \in C(X, \mathbb{R})$ を考えれば、$Z(f) = Z(k)$ が成立するからです。

ゼロ集合族 $Z(X)$ は有限和と可算交叉について閉じており、連続関数の逆像であるため常に閉集合です。

証明

まず、$F = Z(f)$ がゼロ集合であるとする。このとき $F$ は連続関数の逆像として閉集合であり、さらに絶対値関数 $|f| \in C(X, \mathbb{R})$ を用いて $$F = \bigcap_{n=1}^\infty \left\{ x \in X \;\middle|\; |f(x)| \lt \frac{1}{n} \right\}$$ と書ける。各 $U_n = \{ x \in X \mid |f(x)| \lt 1/n \}$ は開集合であるため、$F$ は可算個の開集合の共通部分、すなわち $G_\delta$ 集合である。これは $X$ の正規性によらず、すべての位相空間で成立する。

逆に、$F$ が正規空間 $X$ の閉 $G_\delta$ 集合であるとする。$F = \bigcap_{n=1}^\infty U_n$（各 $U_n$ は開集合）と表す。$F$ は閉集合であり、$X \smallsetminus U_n$ も閉集合である。$F \subset U_n$ より $F \cap (X \smallsetminus U_n) = \varnothing$ となる。$X$ は正規空間であるから Urysohn の補題が適用でき、連続関数 $f_n \in C(X, \mathbb{R})$ であって、$0 \le f_n(x) \le 1$、$f_n(F) \subset \{0\}$ かつ $f_n(X \smallsetminus U_n) \subset \{1\}$ を満たすものが存在する。
ここで級数 $f(x) = \sum_{n=1}^\infty 2^{-n} f_n(x)$ を考える。Weierstrass の M判定法よりこの級数は一様収束し、各 $f_n$ が連続であるため極限関数 $f \in C(X, \mathbb{R}) \subset C(X)$ も連続となる。構成より $x \in F$ ならばすべての $n$ で $f_n(x) = 0$ ゆえ $f(x) = 0$。一方 $x \notin F$ ならばある $m$ について $x \notin U_m$ となる。このとき $f_m(x) = 1 \gt 0$ となるため $f(x) \ge 2^{-m} \gt 0$ となる。したがって $F = Z(f)$ となり、$F$ はゼロ集合である。

コラム：$G_\delta$ 集合と $F_\sigma$ 集合の用語の由来

位相空間論や測度論で頻出する「$G_\delta$ 集合」や「$F_\sigma$ 集合」という記号は、19世紀末から20世紀初頭にかけてのフランスとドイツの数学者たちの記法に由来しています。

$G_\delta$ 集合（可算個の開集合の共通部分）：
$G$ はドイツ語で開集合（または領域）を意味する Gebiet の頭文字です。$\delta$ はドイツ語で共通部分（交わり）を意味する Durchschnitt の頭文字である $D$ に対応するギリシャ文字の小文字です。
$F_\sigma$ 集合（可算個の閉集合の和集合）：
$F$ はフランス語で閉集合を意味する Fermé の頭文字です。$\sigma$ はフランス語で和集合（和）を意味する Somme（またはドイツ語の Summe）の頭文字である $S$ に対応するギリシャ文字の小文字です。

このように、$G_\delta$ や $F_\sigma$ といった独特な記法には、トポロジーや実解析の形成期において理論を発展させたフランス学派（ルネ・ベールやアンリ・ルベーグなど）とドイツ学派（フェリックス・ハウスドルフなど）の歴史的背景が入り混じって今日に定着しています。

4. 【解答】有界複素関数環 $C_b(X)$ におけるゼロ集合族と閉集合系の関係

ここでは、ご提示いただいた問題である「有界複素数値連続関数のなす可換 $C^*$ 環 $C_b(X)$ から定まる $Z(X)$ と、閉集合系 $\mathrm{Closed}(X)$ の関係」について、空間の条件ごとに解説します。

大前提として、任意の連続関数 $f \in C(X)$ に対して、$g(x) = \frac{f(x)}{1 + |f(x)|}$ を考えると、$g \in C_b(X)$ であり、かつ $Z(f) = Z(g)$ となります。したがって、「$C_b(X)$ から生成されるゼロ集合族」は「すべての連続関数 $C(X)$ から生成されるゼロ集合族」と全く同じクラスになります。

(1) $X$ が任意の位相空間の場合

位相空間に特別な分離公理を仮定しない場合、空間上の連続関数は定数関数しか存在しない可能性があります。一般に言えるのは、「任意のゼロ集合は閉集合である」すなわち $Z(X) \subset \mathrm{Closed}(X)$ という包含関係のみです。
また、$Z(X)$ は有限和と可算交叉について閉じており、$X$ 上に元の位相よりも弱い完全正則位相（Tychonoff topology）を定義するための閉基底となります。

(2) $X$ が完全正則空間の場合

完全正則空間の定義そのものから、「任意の閉集合 $F$ とその外の点 $x$ は、連続関数（しかも $[0,1]$ に値をとる有界関数）で分離できる」ことが保証されています。このことは、「$Z(X)$ は $\mathrm{Closed}(X)$ の閉基底 (base for closed sets) をなす」ことを意味します。
すなわち、$X$ の任意の閉集合 $F \in \mathrm{Closed}(X)$ は、あるゼロ集合の族 $\{Z_\alpha\}_{\alpha \in \Lambda}$ の交叉 $F = \bigcap_{\alpha} Z_\alpha$ として完全に表現できます。以下にその証明を与えます。

証明：完全正則空間において $Z(X)$ が $\mathrm{Closed}(X)$ の閉基底となること

$X$ を完全正則空間とし、$F \subset X$ を任意の閉集合とする。閉基底の定義から、$F$ があるゼロ集合の族の共通部分として表せることを示せばよい。

$x \in X \smallsetminus F$ を任意にとる。$X$ は完全正則空間であるから、定義より連続関数 $g_x: X \to [0, 1]$ であって、$g_x(x) = 1$ かつ $g_x(F) \subset \{0\}$ を満たすものが存在する。
この $g_x$ に対してゼロ集合 $Z(g_x)$ を考えると、$g_x(F) = \{0\}$ より $F \subset Z(g_x)$ である。一方で $g_x(x) = 1 \neq 0$ であるから、$x \notin Z(g_x)$ となる。

これをすべての $x \in X \smallsetminus F$ について構成し、それらから得られるゼロ集合の共通部分 $Z_{\text{all}} = \bigcap_{x \notin F} Z(g_x)$ を考える。
すべての $x \notin F$ に対して $F \subset Z(g_x)$ であるから、$F \subset Z_{\text{all}}$ が成り立つ。逆に、任意の $x \notin F$ は $Z(g_x)$ に含まれないため、全体の共通部分である $Z_{\text{all}}$ にも含まれない。すなわち $Z_{\text{all}} \subset F$ である。

以上より $F = \bigcap_{x \notin F} Z(g_x)$ となり、任意の閉集合 $F$ はゼロ集合の交叉として表せる。したがって $Z(X)$ は $\mathrm{Closed}(X)$ の閉基底である。

ただし、一般の閉集合そのものが単一のゼロ集合になるとは限らない（$Z(X) \subsetneq \mathrm{Closed}(X)$ となるのが普通である）点には注意が必要です。

証明

$F \in \mathrm{Closed}(X)$ を任意の閉集合とする。直前に示した通り、$Z(X)$ は $\mathrm{Closed}(X)$ の閉基底であるから、ある連続関数の族 $S \subset C(X)$ が存在して、$F = \bigcap_{g \in S} Z(g)$ と書ける。

ここで、$S$ が生成する $C(X)$ のイデアルを $I$ とする。すなわち、$I$ の元 $f$ は、有限個の $g_k \in S$ と $h_k \in C(X)$ を用いて $f = \sum_{k=1}^n h_k g_k$ という形で表される。

任意の $x \in F$ をとる。$F$ の表現からすべての $g \in S$ について $g(x) = 0$ である。したがって、任意の $f \in I$ について $f(x) = \sum h_k(x)g_k(x) = 0$ となる。よって $x \in Z(I)$ であり、$F \subset Z(I)$ が成り立つ。

逆に、$S \subset I$ であるため、$Z(I) = \bigcap_{f \in I} Z(f) \subset \bigcap_{g \in S} Z(g) = F$ である。
ゆえに $F = Z(I)$ が示された。
（なお、関数環として有界連続関数環 $C_b(X)$ を考える場合も、族 $S$ を $C_b(X)$ の元からとり、生成されるイデアルを $C_b(X)$ 内で考えれば全く同様の論法で証明できる。）

コラム：環のスペクトル $\mathrm{Spec}(A)$ のザリスキー位相との類似

上記で証明した「関数環のイデアル $I$ が空間 $X$ のすべての閉集合 $Z(I)$ を一意的に定める」という事実は、代数幾何学におけるザリスキー位相 (Zariski topology) の構成と極めて美しい対応関係を持っています。

任意の可換環 $A$ に対して、その素イデアル全体の集合を $\mathrm{Spec}(A)$（$A$ のスペクトル）と呼びます。$\mathrm{Spec}(A)$ 上のザリスキー位相は、部分集合 $V(I) = \{\mathfrak{p} \in \mathrm{Spec}(A) \mid I \subset \mathfrak{p}\}$ （ただし $I$ は $A$ のイデアル）を閉集合として定義することで導入されます。

いま、位相空間 $X$ の各点 $x \in X$ を、その点で消える関数のなす極大イデアル $\mathfrak{m}_x = \{f \in C(X) \mid f(x) = 0\}$ と同一視してみます（$X$ がコンパクト Hausdorff であれば、これは全単射になります）。すると、「点 $x$ がイデアル $I$ のゼロ集合 $Z(I)$ に属すること」は、代数的な包含関係として以下のように言い換えられます。

$$x \in Z(I) \iff \forall f \in I, f(x) = 0 \iff I \subset \mathfrak{m}_x$$

つまり、関数環論における $Z(I)$ は、代数幾何学における閉集合 $V(I)$ を極大イデアルの空間 $\mathrm{Max}(C(X))$ に制限したものに他なりません。完全正則空間 $X$ において「イデアルのゼロ集合が閉集合を尽くす」という定理は、$X$ が関数環 $C(X)$ の最大スペクトル $\mathrm{Max}(C(X))$ の部分空間として、代数幾何学的なザリスキー位相を自然に備えていることを意味しているのです。

(3) $X$ が局所コンパクト Hausdorff 空間の場合

局所コンパクト Hausdorff 空間は必ず完全正則空間であるため、(2) と同様に $Z(X)$ は $\mathrm{Closed}(X)$ の閉基底をなします。ここでは、その前提となる「局所コンパクト Hausdorff ならば完全正則である」という基本的な事実の証明を、Urysohn の補題を用いて与えます。

証明

$X$ における任意の閉集合 $F$ と、その外側にある点 $x \in X \smallsetminus F$ をとる。
$X$ は局所コンパクトであるため、$x$ を含む開集合 $V$ であって、その閉包 $\overline{V}$ がコンパクトになるものが存在する。
$U = V \smallsetminus F$ とおくと、$U$ は $x$ を含む開集合であり、$\overline{U} \subset \overline{V}$ である。コンパクト空間の閉部分集合はコンパクトであるから、$\overline{U}$ はコンパクトである。さらに $X$ は Hausdorff であるから、その部分空間 $\overline{U}$ はコンパクト Hausdorff 空間となる。コンパクト Hausdorff 空間は正規空間であることが知られている。

部分空間 $\overline{U}$ の中において、一点からなる集合 $\{x\}$ と、境界部分 $K = \overline{U} \smallsetminus U$ を考える。$X$ は Hausdorff ゆえ一点 $\{x\}$ は閉集合であり、$K$ も $\overline{U}$ 内で閉集合である。また、構成より $\{x\} \cap K = \varnothing$ である。
$\overline{U}$ は正規空間であるため、Urysohn の補題を適用することができ、連続関数 $g: \overline{U} \to [0, 1]$ であって、$g(x) = 0$ かつ $g(K) \subset \{1\}$ を満たすものが存在する。

この関数 $g$ を用いて、関数 $f: X \to [0, 1]$ を次のように拡張定義する： $$ f(y) = \begin{cases} g(y) & (y \in \overline{U} \text{ のとき}) \\ 1 & (y \in X \smallsetminus U \text{ のとき}) \end{cases} $$ $\overline{U}$ と $X \smallsetminus U$ はともに $X$ の閉集合であり、その共通部分 $\overline{U} \cap (X \smallsetminus U) = \overline{U} \smallsetminus U = K$ 上では、$g(y) = 1$ と定義されているため両者の値は一致する。
貼り合わせの補題（Pasting lemma）により、$f$ は $X$ 全体での連続関数となる。
この関数 $f$ について、$f(x) = g(x) = 0$ である。一方で $F \subset X \smallsetminus U$ である（なぜなら $U = V \smallsetminus F$ より $U \cap F = \varnothing$ だから）ため、任意の $y \in F$ について $f(y) = 1$、すなわち $f(F) \subset \{1\}$ が成り立つ。
以上より、$X$ は完全正則空間であることが示された。

さらに局所コンパクト性から、一点コンパクト化による構成などを通じて、「コンパクト台を持つ関数（これは自明に $C_b(X)$ に属する）のゼロ集合」が大量に含まれ、無限遠点での振る舞いを精密に制御できるという特長が加わります。

(4) $X$ がコンパクト Hausdorff 空間の場合

コンパクト Hausdorff 空間は自動的に正規空間となります。そのことの厳密な証明を以下に与えます。

証明

証明は2段階で行う。まず点と閉集合が分離できること（正則性）を示し、次にそれを用いて閉集合どうしが分離できること（正規性）を示す。

ステップ 1（正則性の証明）：
$X$ の任意の閉集合 $F$ と、その外側の点 $x \notin F$ をとる。
$X$ は Hausdorff 空間であるから、任意の $y \in F$ に対して $x \neq y$ であり、互いに素な開集合 $U_y, V_y$ が存在して $x \in U_y$ かつ $y \in V_y$ とできる。
このとき、族 $\{V_y \mid y \in F\}$ は $F$ の開被覆となる。$X$ はコンパクトであり、その閉部分集合 $F$ もコンパクトであるから、この開被覆から有限部分被覆 $\{V_{y_1}, V_{y_2}, \dots, V_{y_n}\}$ を選ぶことができる。
ここで、 $$V = \bigcup_{i=1}^n V_{y_i}, \quad U = \bigcap_{i=1}^n U_{y_i}$$ とおく。各 $V_{y_i}$ は開集合ゆえ $V$ は開集合であり、$F \subset V$ となる。また、各 $U_{y_i}$ は $x$ を含む開集合であり、有限個の共通部分であるため $U$ も $x$ を含む開集合である。
さらに、各 $i$ について $U_{y_i} \cap V_{y_i} = \varnothing$ であるため、$U \subset U_{y_i}$ より $U \cap V_{y_i} = \varnothing$。したがって、和集合をとっても $U \cap V = \varnothing$ である。これで $x$ と $F$ は互いに素な開集合で分離され、$X$ が正則空間であることが示された。

ステップ 2（正規性の証明）：
$X$ の交わりを持たない任意の2つの閉集合 $A, B$ をとる。
ステップ 1 の結果から、任意の $x \in A$ は $B$ に属さないため、互いに素な開集合 $U_x, V_x$ が存在して $x \in U_x$ かつ $B \subset V_x$ とできる。
族 $\{U_x \mid x \in A\}$ は $A$ の開被覆となる。ふたたび $X$ のコンパクト性から閉集合 $A$ もコンパクトであるため、有限部分被覆 $\{U_{x_1}, U_{x_2}, \dots, U_{x_m}\}$ を選ぶことができる。
今度は、 $$U = \bigcup_{j=1}^m U_{x_j}, \quad V = \bigcap_{j=1}^m V_{x_j}$$ とおく。ステップ 1 と同様の議論により、$U$ は $A$ を含む開集合、$V$ は $B$ を含む開集合（有限個の開集合の共通部分ゆえ開集合）となる。
また各 $j$ について $U_{x_j} \cap V_{x_j} = \varnothing$ であり、$V \subset V_{x_j}$ であることから $U_{x_j} \cap V = \varnothing$。したがって和集合をとっても $U \cap V = \varnothing$ である。
以上より、互いに素な閉集合 $A, B$ は互いに素な開集合 $U, V$ で分離できるため、$X$ は正規空間である。

したがって、前節の命題により 「$Z(X)$ は、$X$ におけるすべての閉 $G_\delta$ 集合のクラスと完全に一致する」という強力な結果が得られます。
もちろん、任意の閉集合が $G_\delta$ 集合になるわけではない（例：非可算なコンパクト空間の1点は閉集合だが、$G_\delta$ ではない場合がある）ため、依然として $Z(X) \subsetneq \mathrm{Closed}(X)$ である可能性はありますが、(2)(3) と同様に $Z(X)$ は $\mathrm{Closed}(X)$ の閉基底としての役割を完璧に果たします。

5. Z超フィルターと極大イデアルの全単射対応

空間に「無限遠点」を付け加えてコンパクト化を行うために、フィルターの概念を導入します。ここでは複素数値の可換環 $C(X)$ の極大イデアルと、Z超フィルターが完全に一対一に対応することの厳密な証明を与えます。

証明

ステップ1：Z超フィルターから極大イデアルの構成
$\mathcal{Z}$ をZ超フィルターとし、$\mathfrak{m} = I(\mathcal{Z})$ とおく。これがイデアルになることは、$Z(f_1 + f_2) \supset Z(f_1) \cap Z(f_2)$ などの関係から容易に確かめられる。極大性を示すために、$\mathfrak{m}$ を真に含むイデアル $J \subset C(X)$ が存在したと仮定して矛盾を導く。
$g \in J \smallsetminus \mathfrak{m}$ をとる。$g \notin \mathfrak{m}$ より $Z(g) \notin \mathcal{Z}$ である。$\mathcal{Z}$ はZ超フィルター（極大Zフィルター）であるため、$Z(g)$ を $\mathcal{Z}$ に添加すると有限交叉性を失う。すなわち、ある $Z_0 \in \mathcal{Z}$ が存在して $Z(g) \cap Z_0 = \varnothing$ となる。
$Z_0 = Z(f_0)$ となる $f_0 \in \mathfrak{m} \subset J$ をとる。$Z(g) \cap Z(f_0) = \varnothing$ であるから、複素共役を用いて関数 $h(x) = g(x)\overline{g(x)} + f_0(x)\overline{f_0(x)} = |g(x)|^2 + |f_0(x)|^2$ を考える。この $h(x)$ は $X$ 上で常に実数値かつ $h(x) \gt 0$ を満たす。
したがって、関数 $1/h$ は $X$ 上の連続関数となり $C(X)$ に属する。ところが $g, f_0 \in J$ であり、$J$ は $C(X)$ のイデアルであるから、$h = g\overline{g} + f_0\overline{f_0} \in J$ である。$h \in J$ かつ $1/h \in C(X)$ より $J$ は単位元 $1 = h \cdot (1/h)$ を含み、全体環 $C(X)$ と一致する。これは $J$ が真のイデアルであるという前提に矛盾する。ゆえに $I(\mathcal{Z})$ は $C(X)$ の極大イデアルである。

ステップ2：極大イデアルからZ超フィルターの構成
次に、$\mathfrak{m}$ を $C(X)$ の極大イデアルとし、$\mathcal{Z}' = Z[\mathfrak{m}] = \{Z(f) \mid f \in \mathfrak{m}\}$ がZ超フィルターとなることを示す。
(a) $\varnothing \notin \mathcal{Z}'$ である。もし $\varnothing \in \mathcal{Z}'$ ならば、ある $f \in \mathfrak{m}$ が存在して $Z(f) = \varnothing$ となる。このとき $f$ は $X$ 上で $0$ にならないため、逆数関数 $1/f \in C(X)$ が存在する。すると $\mathfrak{m}$ が単位元 $1 = f \cdot (1/f)$ を含むことになり、真のイデアルであることに矛盾する。
(b) $Z_1, Z_2 \in \mathcal{Z}'$ ならば、$Z_1 = Z(f_1), Z_2 = Z(f_2)$ となる $f_1, f_2 \in \mathfrak{m}$ が存在する。関数 $h = f_1\overline{f_1} + f_2\overline{f_2}$ を考えると、$\mathfrak{m}$ はイデアルであるため $h \in \mathfrak{m}$ である。ここで $Z(h) = Z(f_1) \cap Z(f_2) = Z_1 \cap Z_2$ であるから、$Z_1 \cap Z_2 \in \mathcal{Z}'$ である。
(c) $Z_1 \in \mathcal{Z}'$ とし、$Z_1 \subset Z_2$ を満たす任意のゼロ集合 $Z_2 \in Z(X)$ をとる。$Z_1 = Z(f_1)$ ($f_1 \in \mathfrak{m}$)、$Z_2 = Z(g)$ ($g \in C(X)$) と書ける。関数 $h = f_1 \cdot g \in \mathfrak{m}$ を考えると、$Z(h) = Z(f_1) \cup Z(g) = Z_1 \cup Z_2$ である。$Z_1 \subset Z_2$ より $Z_1 \cup Z_2 = Z_2$ であるため、$Z_2 = Z(h) \in \mathcal{Z}'$ となる。
以上より $\mathcal{Z}' = Z[\mathfrak{m}]$ はZフィルターである。さらに極大性を示す。あるZフィルター $\mathcal{F}$ が $Z[\mathfrak{m}] \subset \mathcal{F}$ を満たすとする。このときステップ1と同様にして構成されるイデアル $I(\mathcal{F})$ は $\mathfrak{m} \subset I(\mathcal{F})$ を満たす。$\mathcal{F}$ はZフィルターであるため $\varnothing \notin \mathcal{F}$、すなわち $I(\mathcal{F})$ は全体環 $C(X)$ ではない。$\mathfrak{m}$ の極大性から $\mathfrak{m} = I(\mathcal{F})$ となる。任意の $Z(k) \in \mathcal{F}$ に対して $k \in I(\mathcal{F}) = \mathfrak{m}$ となるため、$Z(k) \in Z[\mathfrak{m}]$。ゆえに $\mathcal{F} \subset Z[\mathfrak{m}]$ となり $\mathcal{F} = Z[\mathfrak{m}]$ が結論され、極大性が示された。

ステップ3：互いに逆写像であること
・$Z[I(\mathcal{Z})] = \mathcal{Z}$ について：$Z \in Z[I(\mathcal{Z})]$ とすると、ある $f \in I(\mathcal{Z})$ が存在して $Z = Z(f)$。$I(\mathcal{Z})$ の定義より $Z(f) \in \mathcal{Z}$、すなわち $Z \in \mathcal{Z}$。逆に $Z \in \mathcal{Z}$ に対して、$Z = Z(g)$ となる $g \in C(X)$ をとれば、$g \in I(\mathcal{Z})$ より $Z(g) \in Z[I(\mathcal{Z})]$。よって両者は一致する。
・$I(Z[\mathfrak{m}]) = \mathfrak{m}$ について：任意の $f \in \mathfrak{m}$ に対して $Z(f) \in Z[\mathfrak{m}]$ であるから、$f \in I(Z[\mathfrak{m}])$。ゆえに $\mathfrak{m} \subset I(Z[\mathfrak{m}])$ である。$\mathfrak{m}$ は極大イデアルであり、かつ $I(Z[\mathfrak{m}])$ は全体環ではない（$Z[\mathfrak{m}]$ が $\varnothing$ を含まないため）から、極大性より両者は一致する。
以上により、Z超フィルターと極大イデアルの全単射対応が完全に証明された。

6. 非正規空間におけるZ超フィルターと閉超フィルターの乖離

任意の閉超フィルター $\mathcal{U}$ に対して、ゼロ集合に制限した $\mathcal{U}_Z = \mathcal{U} \cap Z(X)$ は常にユニークなZ超フィルターに拡張されます。$X$ が正規空間であれば、任意の互いに素な閉集合はゼロ集合で分離できるため、この対応は全単射となります。しかし、$X$ が完全正則であっても正規でない場合、この対応は単射性を失います。以下にその詳細な証明を省略せずに与えます。

証明

$X$ は正規空間ではないため、交わりを持たない（互いに素な）閉集合 $F_1, F_2 \subset X$ であって、互いに素な開集合で分離できないものが存在する。

ステップ1：$F_1, F_2$ を含むゼロ集合の交叉性
任意のゼロ集合 $Z_1, Z_2 \in Z(X)$ であって $F_1 \subset Z_1$ かつ $F_2 \subset Z_2$ を満たすものを考える。もし $Z_1 \cap Z_2 = \varnothing$ であったとすると、完全正則空間においては $Z_1, Z_2$ の補集合である cozero-set $U_1 = X \smallsetminus Z_2$ と $U_2 = X \smallsetminus Z_1$ を考えれば、$F_1 \subset Z_1 \subset U_1$、$F_2 \subset Z_2 \subset U_2$ かつ $U_1 \cap U_2 = \varnothing$ となり、$F_1, F_2$ が開集合で分離できてしまう。これは仮定に反する。したがって、条件を満たす任意の $Z_1, Z_2$ に対して $Z_1 \cap Z_2 \neq \varnothing$ である。

ステップ2：共通のZ超フィルター $\mathcal{Z}$ の構成
族 $\mathcal{B} = \{ Z_1 \cap Z_2 \mid F_1 \subset Z_1, F_2 \subset Z_2, \, Z_1, Z_2 \in Z(X) \}$ を考える。ステップ1より $\mathcal{B}$ の任意の元は空集合ではない。さらに $\mathcal{B}$ は有限交叉性を持つ（なぜなら $(Z_1 \cap Z_2) \cap (Z_1' \cap Z_2') = (Z_1 \cap Z_1') \cap (Z_2 \cap Z_2')$ であり、$Z_1 \cap Z_1'$ は $F_1$ を含むゼロ集合だからである）。
$\mathcal{B}$ はZフィルターの基をなすため、Zorn の補題により $\mathcal{B}$ を含むZ超フィルター $\mathcal{Z}$ が存在する。

ステップ3：閉超フィルター $\mathcal{U}_1, \mathcal{U}_2$ の構成
集合族 $\mathcal{C}_1 = \{F_1\} \cup \mathcal{Z}$ を考える。$\mathcal{C}_1$ が有限交叉性を持つことを示す。任意の $Z \in \mathcal{Z}$ に対して、$F_1 \cap Z = \varnothing$ と仮定する。$X$ は完全正則であるから、閉集合 $F_1$ とその外側の点に対して連続関数を構成でき、さらには $F_1$ とゼロ集合 $Z$ を分離するゼロ集合が存在する。すなわち、ある $Z' \in Z(X)$ が存在して $F_1 \subset Z'$ かつ $Z' \cap Z = \varnothing$ となる。
ところが、構成より $F_1 \subset Z'$ かつ $F_2 \subset X$（$X$ もゼロ集合）であるから、$Z' = Z' \cap X \in \mathcal{B} \subset \mathcal{Z}$ となる。すると $Z, Z' \in \mathcal{Z}$ でありながら $Z \cap Z' = \varnothing$ となり、$\mathcal{Z}$ がZフィルターであることに矛盾する。
ゆえに、すべての $Z \in \mathcal{Z}$ に対して $F_1 \cap Z \neq \varnothing$ である。したがって $\mathcal{C}_1$ は有限交叉性を持つ。
閉集合の族 $\mathcal{C}_1$ を含む閉超フィルター $\mathcal{U}_1$ が存在する。
全く同様の議論により、$\mathcal{C}_2 = \{F_2\} \cup \mathcal{Z}$ を含む閉超フィルター $\mathcal{U}_2$ が存在する。

ステップ4：不一致の結論
$\mathcal{U}_1$ は $F_1$ を含み、$\mathcal{U}_2$ は $F_2$ を含む。$F_1 \cap F_2 = \varnothing$ であるため、$\mathcal{U}_1 \neq \mathcal{U}_2$ である。しかし、$\mathcal{U}_1$ と $\mathcal{U}_2$ はともにZ超フィルター $\mathcal{Z}$ を含んでいる。つまり $\mathcal{Z} \subset \mathcal{U}_1 \cap Z(X)$ かつ $\mathcal{Z} \subset \mathcal{U}_2 \cap Z(X)$ であるが、$\mathcal{Z}$ の極大性により $\mathcal{U}_1 \cap Z(X) = \mathcal{Z} = \mathcal{U}_2 \cap Z(X)$ となる。
以上により、異なる閉超フィルターが同一のZ超フィルターに対応することが示された。

7. 局所コンパクト Hausdorff 空間は正規か？

局所コンパクト (locally compact) Hausdorff 空間は完全正則空間の代表例ですが、必ずしも正規空間にはなりません。その古典的かつ見事な反例として「削除された Tychonoff の板」の構成と証明を与えます。

証明

最初の非可算順序数を $\omega_1$、最初の可算無限順序数を $\omega_0$ とする。それぞれの順序に順序位相を入れた空間の直積 $T = [0, \omega_1] \times [0, \omega_0]$ を Tychonoff の板と呼ぶ。$T$ はコンパクト Hausdorff 空間である。

ここから右上の角の1点を取り除いた空間 $X = T \smallsetminus \{(\omega_1, \omega_0)\}$ を考える。$X$ はコンパクト空間の開部分空間（補集合 $\{(\omega_1, \omega_0)\}$ は閉集合）であるため、局所コンパクト Hausdorff 空間である。
$X$ において、以下の2つの縁（ふち）を考える。 $$A = \{\omega_1\} \times [0, \omega_0), \quad B = [0, \omega_1) \times \{\omega_0\}$$ これらは $X$ における閉集合であり、$X$ 内では $A \cap B = \varnothing$（互いに素）である。
もし $X$ が正規空間であれば、$A \subset U, B \subset V$ となる互いに素な開集合 $U, V$ が存在するはずである。
各 $n \lt \omega_0$ に対して $(\omega_1, n) \in A \subset U$ である。$U$ は開集合なので、ある $\alpha_n \lt \omega_1$ が存在し区間を用いて $(\alpha_n, \omega_1] \times \{n\} \subset U$ となる。
$\alpha = \sup_{n \lt \omega_0} \alpha_n$ と置く。$\omega_0$ は可算であり $\omega_1$ は非可算共終数を持つ（可算個の可算順序数の上限は依然として可算である）ため、$\alpha \lt \omega_1$ である。
したがって、任意の $\gamma \in (\alpha, \omega_1)$ に対して、すべての $n \lt \omega_0$ で $(\gamma, n) \in U$ となる。
次に、そのような $\gamma$ を一つ固定し、点 $(\gamma, \omega_0)$ を考える。この点は $B$ に属するため $V$ の元である。$V$ は開集合なので、ある $m \lt \omega_0$ が存在し $\{\gamma\} \times (m, \omega_0] \subset V$ となる。
すると点 $(\gamma, m+1)$ を考えると、これは $U$ の元であり（すべての $n$ で $(\gamma, n) \in U$ だから）、同時に $V$ の元でもある（$m+1 \in (m, \omega_0]$ だから）。これは $U \cap V = \varnothing$ に矛盾する。
ゆえに $X$ は正規空間ではない。

8. $\beta X$ の構成と超不連結空間

完全正則空間 $X$ 上のすべてのZ超フィルターの集合 $\beta X$ に、$\bar{Z} = \{\mathcal{Z} \in \beta X \mid Z \in \mathcal{Z}\}$ を閉集合の基底とする位相を導入すると、コンパクト Hausdorff 空間となります。これが $X$ の Stone-Čech コンパクト化 です。

特に離散空間 $D$ に対する $\beta D$ では、任意の開集合の閉包が必ず clopen（開かつ閉集合）となります。このような空間は 超不連結 (extremally disconnected) と呼ばれ、関数解析やブール代数の表現論において重要な役割を果たします。

9. 実数値関数と複素数値関数の決定的な違い：超実数体の誕生

位相空間の構成（$Z(X)$ を用いた議論）までは実数・複素数のどちらの関数環を出発点にしても本質的な差はありませんが、非標準解析の舞台となる代数的な極限（剰余体）を考えると、決定的な差異が表出します。

9.1. 実数値関数環 $C(X, \mathbb{R})$ の場合（順序と超実数 ${}^*\mathbb{R}$）

実数値関数環 $C(X, \mathbb{R})$ には、関数ごとの自然な半順序 $f \ge 0 \iff \forall x \in X, f(x) \ge 0$ が存在します。これを自由な極大イデアルで割ると、非アルキメデス的順序体（超実数体）が得られます。

証明

剰余環 $F$ は $\mathfrak{m}_{\mathbb{R}}$ が極大イデアルであるため体となる。$f \in C(X, \mathbb{R})$ の同値類を $[f]$ と表す。
体 $F$ に順序 $\ge$ を次のように導入する。
$$[f] \ge 0 \iff \{x \in X \mid f(x) \ge 0\} \in \mathcal{Z}$$ これが Well-defined であり、全順序体の公理を満たすことは、$\mathcal{Z}$ が極大フィルター（超フィルター）であることから従う（任意のゼロ集合とその補集合に関わる性質が超フィルターによって二値決定されるため）。定数関数 $r \in \mathbb{R}$ の同値類 $[r]$ と同一視することで、実数体 $\mathbb{R}$ は $F$ の部分順序体として埋め込まれる。

$\mathcal{Z}$ は自由なZ超フィルターであるため、どの点 $x \in X$ にも収束しない。ここから、$X$ 上で非有界な連続関数 $g \in C(X, \mathbb{R})$ であって、$\mathcal{Z}$ の方向に発散するもの（すなわち任意の自然数 $n$ について $Z_n = \{x \in X \mid g(x) \ge n\} \in \mathcal{Z}$ を満たすもの）が存在する。
すると、順序の定義から直ちに任意の $n \in \mathbb{N}$ に対して $$[g] \ge [n]$$ が成立する。
これは、体 $F$ の中に、いかなる実数よりも大きな元 $[g]$ が存在することを意味する。すなわち $F$ は非アルキメデス的順序体である。$[g]$ は無限大の超実数であり、その逆数 $1/[g]$ は $0$ ではない「無限小」となる。

9.2. 複素数値関数環 $C(X)$ の場合（対合と超複素数 ${}^*\mathbb{C}$）

一方、複素数値関数環 $C(X)$（これは可換 $C^*$ 環の非有界な拡大に相当する）を考えた場合、複素数体 $\mathbb{C}$ 自身に全順序が存在しないため、環としても全順序を導入することはできません。代わりに、複素共役 $f \mapsto \overline{f}$ という対合 (involution) を持ちます。

自由な極大イデアル $\mathfrak{m}_{\mathbb{C}} = \{f \in C(X) \mid Z(f) \in \mathcal{Z}\}$ で割った剰余体 $K = C(X)/\mathfrak{m}_{\mathbb{C}}$ は、超複素数体 ${}^*\mathbb{C}$ となります。

さらに代数的には、超複素数体は超実数体に虚数単位を添加した代数閉体、すなわち ${}^*\mathbb{C} = {}^*\mathbb{R}(i)$ として厳密に構成されます。

比較項目	実数値 $C(X, \mathbb{R})$	複素数値 $C(X)$
代数的構造	順序環（lattice-ordered ring）	対合を持つ可換環（可換 $C^*$ 環の枠組み）
極大イデアルの剰余体（非コンパクト極限）	超実数体 ${}^*\mathbb{R}$	超複素数体 ${}^*\mathbb{C}$
無限大の表現方法	体自身の「順序関係 $\ge$」を用いて、$[g] \gt \mathbb{R}$ として直接表現される。	体自体に順序はない。超実数値をとる「絶対値（ノルム）」を用いて $\|[f]\| \gt \mathbb{R}$ と表現される。
理論的役割	非標準解析における無限大・無限小の厳密な基盤を与える。	代数閉体としての性質を持ち、$Gelfand$ 変換や関数環論（スペクトル理論）の主役となる。